A Data Model for Effectively Computable Functions

Searching for a better data model would continue unless a satisfaction was reached. Improving the productivity and quality of developing traditional and emerging database applications is the motivation driving the research activities. This abstract is to introduce the approach of a data model EP data model. Its data structure is able to store as a finite set of nodes arbitrary effectively computable functions. Its queries are arbitrary computable functions. Both the data structure and the queries of the EP data model are unified under an extended lambda caculus, which provides a uniform manner to access data (either finite or infinite).